Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters

ion and parsing are becoming increasingly important in software engineering. e.g.,  The execution of code can be dynamically checked against its documentation. Also Web Services can be dynamically searched for and invoked on the basis of their documentation.  Use cases can be inferred by specialization of documentation and from code by automatic test generators and by model checking.  Code can be generated by inference from documentation and by generalization from use cases. Abstraction and parsing are needed for large software systems so thation and parsing are needed for large software systems so that that documentation, use cases, and code can mutually speak about what has been said and their relationships.